一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

基于同步辐射加速器的康普顿背散射γ射线源(Ⅰ)产生MeV量级γ光子的数值计算

提出在筹建的上海同步辐射装置上建造一条MeV量级γ射线束及应用站,采用μm波长的红外(或远红外)激光与储存环中3.5GeV电子束进行康普顿背散射,从而获得能区为1—25MeV的康普顿背散射γ光子束,该光子束具有高强度、高极化度(线和圆极化)、准单色、方向性好的优点,可以广泛地应用于核物理和核天体物理基础研究及相关的应用研究领域.介绍了康普顿背散射的基本原理,并结合储存环参数给出了光子束性能的数值计算结果.     

贝克曼AllegraTM21R型超高速离心机故障排除一例

贝克曼Allegra^TM 21R型超高速离心机开机后，操作面板上出现错误代码“28”，离心机不旋转。离心机的电机采用无刷感应驱动，由电机驱动电源模块BSMl0GD60DN2驱动离心机的电机。故障是由于电源模块BSMl0GD60DN2损坏引起的。采用东芝三相桥式IGBT电源模块MG25Q6ES42代替BSMl0GD60DN2，并更换已烧毁的栅极电阻后。开机试验，仪器恢复正常。     

夫琅禾费衍射公式的一般形式

从不同的途径导出了大角度情形下亦成立的夫琅禾费衍射积分的一般形式，指出此一般形式公式是求解夫琅禾费衍射的基本公式．并通过对夫琅禾费衍射公式的级数形式的推导，揭示了傅里叶光学中“夫琅禾费衍射公式”与一般形式公式存在的差别，以及消除这种差别的措施．此外，还较详细地讨论了倾斜因子对衍射花样的影响．这对于衍射测量及深入理解夫琅禾费衍射的本质有一定的指导意义．     

Estimation of integrated volatility in stochastic volatility models

In the framework of stochastic volatility models we examine estimators for the integrated volatility based on the pth power variation (i.e. the sum of pth absolute powers of the log‐returns). We derive consistency and distributional results for the estimators given high‐frequency data, especially taking into account what kind of process we may add to our model without affecting the estimate of the integrated volatility. This may on the one hand be interpreted as a possible flexibility in modelling, for example adding jumps or even leaving the framework of semimartingales by adding a fractional Brownian motion, or on the other hand as robustness against model misspecification. We will discuss possible choices of p under different model assumptions and irregularly spaced data. Copyright © 2005 John Wiley & Sons, Ltd.     

The semi‐iterative method applied to the hyper‐power iteration

The semi‐iterative method (SIM) is applied to the hyper‐power (HP) iteration, and necessary and sufficient conditions are given for the convergence of the semi‐iterative–hyper‐power (SIM–HP) iteration. The root convergence rate is computed for both the HP and SIM–HP methods, and the quotient convergence rate is given for the HP iteration. Copyright © 2005 John Wiley & Sons, Ltd.     

A rigid subspace of the real line whose square is a homogeneous subspace of the plane

Working in ZFC, we give an example as indicated in the title.

     

MATLAB/SIMULINK在电力系统仿真中的应用

介绍了Matlab／Simulink仿真工具在电力系统仿真中的应用方法．     

级数小于1的亚纯函数的Borel例外值

证明了当超越亚纯函数的级小于1时，其Norel例外值最多只有一个．由于存在任何级的整函数，因此一个例外值总可达到，故所得结果不能再改进。     

Time Series Prediction Based on Chaotic Attractor

A new prediction technique is proposed for chaotic time series. The usefulness of the technique is thatit can kick off some false neighbor points which are not suitable for the local estimation of the dynamics systems. Atime-delayed embedding is used to reconstruct the underlying attractor, and the prediction model is based on the timeevolution of the topological neighboring in the phase space. We use a feedforward neural network to approximate thelocal dominant Lyapunov exponent, and choose the spatial neighbors by the Lyapunov exponent. The model is testedfor the Mackey-Glass equation and the convection amplitude of lorenz systems. The results indicate that this predictiontechnique can improve the prediction of chaotic time series.